Frappier, Marc: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generating relational database transactions fromeb3attribute definitions

Frédéric Gervais, Marc Frappier, Régine Laleau

Journal:

Software & Systems Modeling

Year:

2009

Language:

english

File:

PDF, 1.48 MB

english, 2009

2

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Régine, Mammar, Amel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 2.13 MB

english, 2019

3

Relational methods in computer science

Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull

Journal:

Information Sciences

Year:

2001

Language:

english

File:

PDF, 34 KB

english, 2001

4

Lissoclinotoxins: Antibiotic polysulfur derivatives from the tunicate Lissoclinum perforatum. Revised structure of lissoclinotoxin A

Marc Litaudon, François Trigalo, Marie-Thérése Martin, François Frappier, Michéle Guyot

Journal:

Year:

1994

Language:

english

File:

PDF, 800 KB

english, 1994

5

A calculus of program adaptation and its applications

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 300 KB

english, 2000

6

Semantic distance between specifications

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 146 KB

english, 2000

7

State-based versus event-based specifications for information systems: a comparison of B andeb3

Benoît Fraikin, Marc Frappier, Régine Laleau

Journal:

Software & Systems Modeling

Year:

2005

Language:

english

File:

PDF, 3.57 MB

english, 2005

8

Applying CSP || B to information systems

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Journal:

Software & Systems Modeling

Year:

2008

Language:

english

File:

PDF, 1.60 MB

english, 2008

9

Extending statecharts with process algebra operators

Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis

Journal:

Innovations in Systems and Software Engineering

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

10

Efficient symbolic computation of process expressions

Benoît Fraikin, Marc Frappier

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 3.09 MB

english, 2009

11

Proving Reachability in B using Substitution Refinement

Marc Frappier, Fama Diagne, Amel Mammar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 229 KB

english, 2011

12

The clinical relevance of systolic pressure variations in anesthetized nonhypotensive patients

Nicolas Dalibon, Thierry Guenoun, Didier Journois, Jerôme Frappier, Denis Safran, Marc Fischler

Journal:

Journal of Cardiothoracic and Vascular Anesthesia

Year:

2003

Language:

english

File:

PDF, 105 KB

english, 2003

13

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Towards Formalizing Network Architectural Descriptions

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 211 KB

english, 2010

14

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 205 KB

english, 2010

15

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Event-B Decomposition for Parallel Programs

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 264 KB

english, 2010

16

Software Specification Methods || Frontmatter

Habrias, Henri, Frappier, Marc

Year:

2006

Language:

english

File:

PDF, 321 KB

english, 2006

17

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 137 KB

english, 2013

18

Refinement patterns for ASTDs

Frappier, Marc, Gervais, Frédéric, Laleau, Régine, Milhau, Jérémy

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 807 KB

english, 2014

19

Reactogenicity and Serologic Response to Trivalent Inactivated A/Texas, A/USSR and B/Hong Kong Whole-Virus Influenza Vaccine in Human Volunteers

BERTHE LAVERGNE, LISE FRAPPIER-DAVIGNON, ANDRÉ CHAGNON, MARY BURR-PAXTON, MARC QUEVILLON, VYTAUTAS PAVILANIS and AURÈLE BEAULNES

Journal:

Canadian Journal of Public Health / Revue Canadienne de Sante'e Publique

Year:

1980

Language:

english

File:

PDF, 872 KB

english, 1980

20

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 ||

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 7.36 MB

english, 2010

21

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 200 KB

english, 2010

22

On the mechanism of the conversion of dethiobiotin to biotin in E. coli. Studies with deuterated precursors using tandem mass spectroscopic (MS-MS) techniques

Frappier, Francois, Jouany, Marc, Marquet, Andree, Olesker, Alain, Tabet, Jean Claude

Journal:

Journal of Organic Chemistry

Year:

1982

Language:

english

File:

PDF, 686 KB

english, 1982

23

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Verifying the Precedence Property Pattern Using the B Method

Mammar, Amel, Frappier, Marc

Year:

2014

Language:

english

File:

PDF, 221 KB

english, 2014

24

[IEEE 2011 Conference on Network and Information Systems Security (SAR-SSI) - La Rochelle, France (2011.05.18-2011.05.21)] 2011 Conference on Network and Information Systems Security - Automatic Generation of Vulnerability Tests for the Java Card Byte Code Verifier

Savary, Aymerick, Frappier, Marc, Lanet, Jean-Louis

Year:

2011

Language:

french

File:

PDF, 159 KB

french, 2011

25

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Proving the Absence Property Pattern Using the B Method

Mammar, Amel, Frappier, Marc, Chane-Yack-Fa, Raphael

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

26

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Proving Non-interference on Reachability Properties: A Refinement Approach

Frappier, Marc, Mammar, Amel

Year:

2011

Language:

english

File:

PDF, 348 KB

english, 2011

27

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - An Assertions-Based Approach to Verifying the Absence Property Pattern

Frappier, Marc, Mammar, Amel

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

28

[IEEE 2010 Third International Workshop on Requirements Engineering and Law (RELAW) - Sydney, Australia (2010.09.28-2010.09.28)] 2010 Third International Workshop on Requirements Engineering and Law - Distinction-based and verification-assisted knowledge modeling

Michelin, Philippe, Frappier, Marc

Year:

2010

Language:

english

File:

PDF, 623 KB

english, 2010

29

Integration of sequential scenarios

Desharnais, Jules, Frappier, Marc, Khédri, Ridha, Mili, Ali

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

30

Refinement patterns for ASTD

Milhau, Jérémy, Gervais, Frédéric, Laleau, Régine, Frappier, Marc

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 806 KB

english, 2012

31

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Domain specific languages

Balen, Henry, Lapalme, James, Frappier, Marc, Tyson, Kevin P.

Year:

2007

Language:

english

File:

PDF, 157 KB

english, 2007

32

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - A proof-based approach to verifying reachability properties

Mammar, Amel, Frappier, Marc, Diagne, Fama

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

33

A formal validation of the RBAC ANSI 2012 standard using B

Huynh, Nghi, Frappier, Marc, Mammar, Amel, Laleau, Régine, Desharnais, Jules

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

34

Incidence, risk factors, and prognosis of a moderate increase in plasma creatinine early after cardiac surgery*

Ryckwaert, Frédérique, Boccara, Gilles, Frappier, Jean-Marc, Colson, Pascal H.

Journal:

Critical Care Medicine

Year:

2002

Language:

english

File:

PDF, 318 KB

english, 2002

35

[IEEE 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - Grenoble, France (2016.6.1-2016.6.3)] 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS) - SGAC: A patient-centered access control method

Huynh, Nghi, Frappier, Marc, Pooda, Herman, Mammar, Amel, Laleau, Regine

Year:

2016

Language:

english

File:

PDF, 479 KB

english, 2016

36

Psychological and Physical Health of Nonoffending Parents After Disclosure of Sexual Abuse of Their Child

Cyr, Mireille, Frappier, Jean-Yves, Hébert, Martine, Tourigny, Marc, McDuff, Pierre, Turcotte, Marie-Ève

Journal:

Journal of Child Sexual Abuse

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

37

Sida et adolescence

Frappier, Jean-Yves, Roy, Élise, Girard, Marc, Charbonneau, Louise

Journal:

Santé mentale au Québec

Year:

1992

Language:

french

File:

PDF, 1.30 MB

french, 1992

38

Renal injury in pediatric anorexia nervosa: a retrospective study

Stheneur, Chantal, Bergeron, Sebastien J., Frappier, Jean-Yves, Jamoulle, Olivier, Taddeo, Danielle, Sznajder, Marc, Lapeyraque, Anne-Laure

Journal:

Eating and Weight Disorders - Studies on Anorexia, Bulimia and Obesity

Year:

2017

Language:

english

File:

PDF, 385 KB

english, 2017

39

[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Verification of SGAC Access Control Policies Using Alloy and ProB

Huynh, Nghi, Frappier, Marc, Mammar, Amel, Laleau, Regine

Year:

2017

Language:

english

File:

PDF, 260 KB

english, 2017

40

Analysis of Epstein-Barr Virus Genomes and Expression Profiles in Gastric Adenocarcinoma

Borozan, Ivan, Zapatka, Marc, Frappier, Lori, Ferretti, Vincent

Journal:

Journal of Virology

Year:

2017

Language:

english

File:

PDF, 3.21 MB

english, 2017

41

[IEEE 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) - Lisbon, Portugal (2017.9.4-2017.9.8)] 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) - Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach

Tueno, Steve, Laleau, Regine, Mammar, Amel, Frappier, Marc

Year:

2017

Language:

english

File:

PDF, 847 KB

english, 2017

42

Impact of child sexual abuse disclosure on the health of nonoffending parents: A longitudinal perspective

Cyr, Mireille, Frappier, Jean-Yves, Hébert, Martine, Tourigny, Marc, McDuff, Pierre, Turcotte, Marie-Eve

Journal:

Journal of Child Custody

Year:

2018

Language:

english

File:

PDF, 650 KB

english, 2018

43

Software Specification Methods || SDL

Habrias, Henri, Frappier, Marc

Year:

2006

Language:

english

File:

PDF, 455 KB

english, 2006

44

Parameterized verification of monotone information systems

Chane-Yack-Fa, Raphaël, Frappier, Marc, Mammar, Amel, Finkel, Alain

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 1023 KB

english, 2018

45

Anorexia nervosa in adolescents: evolution of weight history and impact of excess premorbid weight

Meierer, Klara, Hudon, Alexandre, Sznajder, Marc, Leduc, Marie-France, Taddeo, Danielle, Jamoulle, Olivier, Frappier, Jean-Yves, Stheneur, Chantal

Journal:

European Journal of Pediatrics

Year:

2018

Language:

english

File:

PDF, 514 KB

english, 2018

46

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Back Propagating B System Updates on SysML/KAOS Domain Models

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Regine, Mammar, Amel

Year:

2018

File:

PDF, 793 KB

2018

47

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Back Propagating B System Updates on SysML/KAOS Domain Models

Tueno Fotso, Steve Jeffrey, Frappier, Marc, Laleau, Regine, Mammar, Amel

Year:

2018

Language:

english

File:

PDF, 793 KB

english, 2018

48

Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments

Jiague, Michel Embe, Frappier, Marc, Gervais, Frédéric, Laleau, Régine, St-Denis, Richard

Journal:

International Journal of Systems and Service-Oriented Engineering

Year:

2011

Language:

english

File:

PDF, 5.11 MB

english, 2011

49

In malnourished adolescent with anorexia nervosa, Cockroft-Gault formula is the most relevant formula to estimate renal function

Trahan, Camille, Lapeyraque, Anne-Laure, Sznajder, Marc, Frappier, Jean-Yves, Jamoulle, Olivier, Taddeo, Danielle, Stheneur, Chantal

Journal:

Clinical Nutrition

Year:

2019

Language:

english

File:

PDF, 452 KB

english, 2019

50

In malnourished adolescent with anorexia nervosa, Cockroft-Gault formula is the most relevant formula to estimate renal function

Trahan, Camille, Lapeyraque, Anne-Laure, Sznajder, Marc, Frappier, Jean-Yves, Jamoulle, Olivier, Taddeo, Danielle, Stheneur, Chantal

Journal:

Clinical Nutrition

Year:

2019

File:

PDF, 452 KB

2019